DUGi: Llistar Títols | (dc.creator:"Suy Franch, Josep" OR dc.contributor:"Suy Franch, Josep" OR dc.contributor.other:"Suy Franch, Josep") | 25 - 31

Llistar Títols

S'han trobat 31 ítems

Llistant ítems des de 25 a 31:

1 2

Format	Data	Títol	Autor
Format	Data	Títol	Autor
		Solving constraint satisfaction problems with SAT modulo theories	Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
	2012	Solving constraint satisfaction problems with SAT modulo theories	Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
		Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
	1 gener 2013	Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
	juny 2003	Traductor de pseudocodi a Java	Royán Salvatella, Carles
		Traductor de pseudocodi a Java	Royán Salvatella, Carles

1 2

Matèries

Computer algorithms Bases de dades -- Gestió Management information systems Satisfactibilitat mòdul teories Constraint programming Programación de tareas Restricciones pseudo-booleanas

Autors

García Campos, Rafael Thió i Fernández de Henestrosa, Santiago Ministerio de Educación y Ciencia (Espanya) Royán Salvatella, Carles Rodríguez Jiménez, Gabriel Universitat de Girona. Departament d’Informàtica i Matemàtica Aplicada Ulrich-Oltean, Felix